91![Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011 Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011](https://www.pdfsearch.io/img/88683e88b43a9c782ee7226fd73cea9a.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2011-03-16 15:35:01
|
---|
92![The Weierstrass substitution in REDUCE Neil Langmead Konrad-Zuse-Zentrum f¨ ur Informationstechnik (ZIB) Takustrasse 7 DBerlin Dahlem The Weierstrass substitution in REDUCE Neil Langmead Konrad-Zuse-Zentrum f¨ ur Informationstechnik (ZIB) Takustrasse 7 DBerlin Dahlem](https://www.pdfsearch.io/img/dd4af489c3051acafd7308438d3c73a4.jpg) | Add to Reading ListSource URL: reduce-algebra.comLanguage: English - Date: 2008-12-30 11:48:07
|
---|
93![Jasymca - Symbolic Calculator for Mobile Devices Helmut Dersch March 7, 2006 Abstract Jasymca is a symbolic calculator written for mobile phones and PDAs. Jasymca - Symbolic Calculator for Mobile Devices Helmut Dersch March 7, 2006 Abstract Jasymca is a symbolic calculator written for mobile phones and PDAs.](https://www.pdfsearch.io/img/99691d46c018d8259f350ba4e8072fed.jpg) | Add to Reading ListSource URL: webuser.fh-furtwangen.deLanguage: English - Date: 2006-03-07 09:32:05
|
---|
94![Mann iterates of directionally nonexpansive mappings in hyperbolic spaces Ulrich Kohlenbach 1 Mann iterates of directionally nonexpansive mappings in hyperbolic spaces Ulrich Kohlenbach 1](https://www.pdfsearch.io/img/63a92002014b69aecf3f1caabdc071f1.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-12 10:33:13
|
---|
95![COMPUTING THE PERMANENT OF (SOME) COMPLEX MATRICES Alexander Barvinok June 2014 Abstract. We present a deterministic algorithm, which, for any given 0 < < 1 COMPUTING THE PERMANENT OF (SOME) COMPLEX MATRICES Alexander Barvinok June 2014 Abstract. We present a deterministic algorithm, which, for any given 0 < < 1](https://www.pdfsearch.io/img/bf70bbf6dce197aeeef700e55623ea62.jpg) | Add to Reading ListSource URL: www.math.lsa.umich.eduLanguage: English |
---|
96![CONVEXITY OF THE IMAGE OF A QUADRATIC MAP VIA THE RELATIVE ENTROPY DISTANCE Alexander Barvinok May 2013 Abstract. Let ψ : Rn −→ Rk be a map defined by k positive definite quadratic CONVEXITY OF THE IMAGE OF A QUADRATIC MAP VIA THE RELATIVE ENTROPY DISTANCE Alexander Barvinok May 2013 Abstract. Let ψ : Rn −→ Rk be a map defined by k positive definite quadratic](https://www.pdfsearch.io/img/9ffd4b42b52a93138fdae67a14f0690f.jpg) | Add to Reading ListSource URL: www.math.lsa.umich.eduLanguage: English - Date: 2013-05-01 15:02:46
|
---|
97![BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 44, Number 4, October 2007, Pages 515–539 SArticle electronically published on June 26, 2007 BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 44, Number 4, October 2007, Pages 515–539 SArticle electronically published on June 26, 2007](https://www.pdfsearch.io/img/3a6b98e9cb882f4d624cfe31b0cfbe0e.jpg) | Add to Reading ListSource URL: www.ams.orgLanguage: English - Date: 2010-01-14 11:35:39
|
---|
98![XYZT Planar Platform ETEL S.A. Zone Industrielle CHMôtiers Switzerland XYZT Planar Platform ETEL S.A. Zone Industrielle CHMôtiers Switzerland](https://www.pdfsearch.io/img/f9f6778498654fe84bdf9cfffcb00b3e.jpg) | Add to Reading ListSource URL: www.etel.chLanguage: English - Date: 2016-04-20 07:42:07
|
---|
99![A Novel Bayesian Similarity Measure for Recommender A Novel Bayesian Similarity Measure for Recommender](https://www.pdfsearch.io/img/db9180de1d8d48556d16d0ca5c77f505.jpg) | Add to Reading ListSource URL: www.luckymoon.meLanguage: English - Date: 2014-07-18 09:35:52
|
---|
100![We Really Don’t Know How to Compute! Gerald Jay Sussman Massachusetts Institute of Technology CSAIL and EECS We Really Don’t Know How to Compute! Gerald Jay Sussman Massachusetts Institute of Technology CSAIL and EECS](https://www.pdfsearch.io/img/b5ecda9e6dd24d52883956fa585cea02.jpg) | Add to Reading ListSource URL: mcdonnell.mit.eduLanguage: English - Date: 2015-06-17 01:07:25
|
---|